Cyclic Petri Net Reachability Sets are Semi-linear Effectively Constructible
نویسندگان
چکیده
منابع مشابه
Cyclic Petri net reachability sets are semi-linear effectively constructible
We prove that cyclic Petri net reachability sets are nite unions of linear combinations of integer vectors whose sizes are exponential in the size of the cyclic Petri net.
متن کاملCyclic Petri Net Reachability Sets are Semi - linear E ectively
We prove that cyclic Petri net reachability sets are nite unions of linear combinations of integer vectors whose sizes are exponential in the size of the cyclic Petri net.
متن کاملPetri Net Reachability Checking Is Polynomial with Optimal Abstraction Hierarchies
The Petri net model is a powerful state transition oriented model to analyse, model and evaluate asynchronous and concurrent systems. However, like other state transition models, it encounters the state explosion problem. The size of the state space increases exponentially with the system complexity. This paper is concerned with a method of abstracting automatically Petri nets to simpler repres...
متن کاملPetri Net Reachability Analysis meets Model-Based Diagnostic Problem Solving
| The present paper describes the formal connection between model-based diagnostic problem solving (usually performed inside logical frameworks) and Petri net reachability analysis , in case the model of the device under examination is described through a net model. We show that, by suitably re-formulating a diagnostic problem in a net-based setting, the characterization of the diagnostic proce...
متن کاملA Slicing-based Approach to Enhance Petri Net Reachability Analysis
Journal of Research and Practice in Information Technology, Vol. 32, No. 2, May 2000 131 Copyright© 2000, Australian Computer Society Inc. General permission to republish, but not for profit, all or part of this material is granted, provided that the JRPIT copyright notice is given and that reference is made to the publication, to its date of issue, and to the fact that reprinting privileges we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1997
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80423-2